structure S =
struct
  eqtype t (= string)
end
